В статье предлагается компьютерная модель и описание метода использования электромагнитных волн с длиной 0,1-1 мм для выявления внутренних дефектов изделий, выполненных по аддитивным технологиям. С помощью предложенной модели демонстрируется возможность бесконтактного неразрушающего контроля качества по дифракционным картинам.
В настоящее время аддитивные технологии, и в частности печать на трехмерных принтерах, используют для получения изделия материалы, многие из которых свободно пропускают терагерцовое излучение (частота 3·1011-3·1012 Гц, длина волны 0,1-1 мм). В то же время дефекты, возникающие в изделиях при аддитивном производстве, имеют размеры того же порядка (0,1-1 мм), что и терагерцовые волны. Следовательно, при облучении изделий с такими дефектами монохромным миллиметровым излучением будет возникать дифракция Френеля.
Это позволяет использовать дифракционный метод контроля качества изделий, выполненных методом трехмерной печати. В статье описаны схема проведения контроля, алгоритм моделирования дифракционных картин с использованием выражения Релея-Зоммерфельда и компьютерная программа, реализующая указанный алгоритм. Приведены результаты определения размеров и расположения дефектов в изделиях по дифракционным картинам.
Рассматривается компьютерная модель такого дифракционного метода, который может быть реализован в виде аппаратно-программных средств, позволяющих автоматизировать процесс контроля, обеспечить его низкую себестоимость, безопасность (учитывая свойства электромагнитного излучения указанного диапазона длин волн) и может конкурировать с методами электромагнитной и звуковой томографии.
Рассматривается методика формализации нечетких предикатов совместно с четкими логическими переменными для спецификации нечетких логико-динамических ситуаций и четких логических действий (дискретных команд). Методика основана на представлении четких и нечетких логических переменных с помощью функций принадлежности и на применении правил нечеткого вывода. При этом использовались только формы представления нечетких логических функций пригодные также и для представления четких логических функций. На примерах показана возможность применения рассматриваемой методики для компьютерной реализации гибридных процессов.
В статье описана методика обучения студентов – будущих врачей компьютерному моделированию, которое обеспечивает повышение уровня информационно-технологической компетентности студентов и, тем самым, оказывает положительное влияние на процесс обучения в целом. Показан обоснованный выбор метода обучения, выделены виды учебной деятельности студентов, описаны технологические приемы, способствующие освоению знаний.
Рассматриваются возможности использования основанного на трансформационных правилах транзитивного подхода для спецификации и компьютерной реализации непрерывных процессов. На примерах показаны приемы преобразования исходных спецификаций процессов в спецификации в виде совокупности трансформационных правил. В качестве исходных рассмотрены спецификации в виде физической модели, структурной схемы динамических звеньев, в виде обыкновенных дифференциальных уравнений. Приведенные примеры демонстрируют простоту, наглядность и универсальность рассматриваемого подхода. Кратко обсуждаются вопросы реализации процессов, специфицированных с помощью правил. Полученные модельные реализации процессов оцениваются с помощью аналитических методов, а также сравниваются с численными решениями, найденными с помощью Matlab и MathCad.
Приводится определение логико-динамической ситуации, используемое при спецификации функционирования гибридных динамических систем, в том числе гибридных систем управления. Обсуждается влияние случайных воздействий на поведение систем. Рассматриваются методы оценки вероятностей возникновения ситуаций, основанные на оценках статистических характеристик случайных процессов. Показаны способы использования этих оценок вероятностей для целей управления и поддержки принятия решений. Приводятся результаты экспериментального исследования рассматриваемых методов.
Рассматриваются возможности использования подхода, основанного на транзитивных (трансформационных) правилах формализма спецификации детерминированных процессов, для реализации случайных процессов и оценки их характеристик. Приводится краткое описание формализма и способы его применения для моделирования динамических систем при наличии случайных воздействий. Обсуждаются методы реализации случайных процессов с заданными статистическими свойствами и методы оценки числовых характеристик и корреляционных функций эргодических случайных процессов. Представлены примеры реализации случайных процессов и результаты оценки их характеристик и корреляционных функций.
Отмечаются достоинства физического подхода к имитационному моделрованию динамических систем и его востребованность на современном этапе развития системотехники, в частности, для моделирования систем управления и самоорганизующихся систем. Кратко изложен ситуационно-событийный формализм спецификации взаимодействующих гибридных процессов и показаны способы его использования для реализации физических имитационных моделей. Возможности применения рассмотренных методов иллюстрируются примерами реализации физических моделей ряда простых динамических систем. — Библ. 9 назв.
Подход основан на использовании известного ситуационно-событийного формализма спецификации взаимодействующих гибридных процессов. Приводится краткое описание формализма, отмечаются достоинства его применения для компьютерной реализации динамических систем и обсуждаются возможности его использования для автоматической координации процессов. Рассматриваются основанные на этом формализме методы координации гибридных процессов и особенности их использования. Представлены примеры реализации систем автоматической координации, иллюстрирующие применение некоторых методов.
1 - 8 из 8 результатов